\begin{tabbing}
$\vdash$  \=$\forall$$x$, $y$:(Top List), $b$:$\mathbb{B}$.\+
\\[0ex]null(if $b$ then $x$ else $y$ fi ) = if $b$ then null($x$) else null($y$) fi 
\-
\end{tabbing}